Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
301	Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:26 Mathematical logic Computability theory Mathematics Theoretical computer science Proof theory Logic in computer science Theory of computation Second-order arithmetic Combinatory logic Reverse mathematics Computable function
302	The (λ, κ)-FN and the order theory of bases in boolean algebras David Milovich Texas A&M International University http://www.tamiu.edu/∼dmilovich/ Add to Reading List Source URL: spot.colorado.edu Language: English Large cardinals Mathematical logic Mathematics Abstraction Cardinal number Free Boolean algebra Model theory Mahlo cardinal Weakly compact cardinal
303	WORKING PAPER SERIES CEEAplA WP NoThe determinants of capital structure of Portuguese firms Add to Reading List Source URL: www.ceeapla.uac.pt Language: English - Date: 2016-04-04 16:00:16 Corporate finance Capital structure Pecking order theory Financial crisis Leverage Subprime mortgage crisis Financial capital
304	Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Proof assistants Real numbers Automated theorem proving Elementary mathematics Type theory First-order logic Construction of the real numbers Constructivism Mathematical logic Isabelle Axiom Setoid
305	Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Logic Mathematical logic Non-classical logic Philosophical logic Predicate logic Model theory First-order logic Barcan formula Modal logic KeY
306	Introduction van der Waerden ideal W-ultrafilters Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:41:48 Mathematics Order theory Non-standard analysis Abstraction Structure Ultrafilter Boolean algebra Ideal Ordinal number
307	On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:16 Computability theory Proof theory Mathematical logic Predicate logic Logic in computer science Primitive recursive functional Reverse mathematics Primitive recursive function Primitive recursive arithmetic First-order logic Peano axioms Ordinal analysis
308	Spectral Methods for Indian Buffet Process Inference Hsiao-Yu Fish Tung Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: sfish0101.bitbucket.org Language: English - Date: 2016-03-17 01:27:45 Algebra Mathematics Linear algebra Matrix theory Higher-order singular value decomposition Multilinear algebra Singular value decomposition Tensor Normal distribution Principal component analysis Pi Eigenvalues and eigenvectors
309	THE WEAKNESS OF BEING COHESIVE, THIN OR FREE IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Informally, a mathematical statement is robust if its strength is left unchanged under variations of the statement. In this pape Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-02-08 07:56:59 Computability theory Computable function Computation in the limit Second-order arithmetic Compactness theorem Reverse mathematics 01 class PA degree Low Algorithmically random sequence Computable number
310	Possible and Certain Answers for Queries over Order-Incomplete Data Antoine Amarilli1 , Mouhamadou Lamine Ba2 , Daniel Deutch3 , and Pierre Senellart1,4 1 2 Add to Reading List Source URL: pierre.senellart.com Language: English - Date: 2016-03-28 12:02:54 Mathematics Mathematical logic Logic Relational model Data management Type theory Order theory Relational algebra FO Tuple Relation Data integration

UPDATE